ACD Term Rewriting
نویسندگان
چکیده
In this paper we introduce Associative Commutative Distributive Term Rewriting (ACDTR), a rewriting language for rewriting logical formulae. ACDTR extends AC term rewriting by adding distribution of conjunction over other operators. Conjunction is vital for expressive term rewriting systems since it allows us to require that multiple conditions hold for a term rewriting rule to be used. ACDTR uses the notion of a “conjunctive context”, which is the conjunction of constraints that must hold in the context of a term, to enable the programmer to write very expressive and targeted rewriting rules. ACDTR can be seen as a general logic programming language that extends Constraint Handling Rules and AC term rewriting. In this paper we define the semantics of ACDTR and describe our prototype implementation.
منابع مشابه
Demand-Driven Normalisation for ACD Term Rewriting
ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implementation for ACDTR based on bottom-up eager normalisation, extended to support the conjunctive context. This paper investigates the possibility of using a demand-driven normalisation strategy for ACDTR. Again, dealing...
متن کاملCadmium: An Implementation of ACD Term Rewriting
Cadmium is a rule based programming language for compiling solver independent constraint models to various solver dependent back-ends. Cadmium is based on a hybrid between Constraint Handling Rules (CHR) and term rewriting modulo Associativity, Commutativity and a restricted form of Distributivity (ACD) called Conjunctive Context (CC). Experience with using Cadmium in the G12 project shows that...
متن کاملAlveolar capillary dysplasia with anorectal anomaly.
Alveolar capillary dysplasia (ACD) is an uncommon cause of irreversible persistent pulmonary hypertension in full-term newborn. In ACD there is a failure of formation of air - blood barrier in addition to misalignment of pulmonary veins. The etiology of the disease is still not understood. We present a case report of a full-term newborn with ACD associated with anorectal anomaly.
متن کاملChanges in the Clinical Features and Long-term Outcomes of Colonic Diverticulitis in Japanese Patients
Objective The purpose of this study was to investigate whether changes occurred in the clinical features of acute colonic diverticulitis (ACD) over a period of 10 years, to estimate the long-term probability of disease recurrence and to investigate whether it could be treated in an outpatient setting. Methods Between January 1998 and January 2009, 488 ACD patients were diagnosed and treated in ...
متن کاملChange in Serum Ferritin Concentration in Experimentally Induced Anemia of Chronic Inflammation in Dogs
In veterinary medicine, hyperferritinemia is often observed in dogs with various diseases (e.g., histiocytic sarcoma and immune-mediated hemolytic anemia) without evidence of iron overload. The mechanism underlying hyperferritinemia development is not well understood. Anemia caused by inflammation is termed as anemia of chronic disease (ACD), and experimentally induced ACD is known to cause sli...
متن کامل